Basic Interval Sym - EndpointRelation bol
نویسنده
چکیده
We introduce a new subclass of Allen's interval algebra we call \ORD-Horn subclass," which is a strict super-set of the \pointisable subclass." We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path-consistency method is suucient for deciding satissability. Further, using an extensive machine-generated case analysis, we show that the ORD-Horn subclass is a maximal tractable subclass of the full algebra (assuming P6 =NP). In fact, it is the unique greatest tractable subclass amongst the subclasses that contain all basic relations.
منابع مشابه
About Levi-malcev Theorem for Homogeneous Bol Algebras
The fundamental ideas of the applicability of Levi-Malcev Theorem for Bol algebras, which plays a basic role in structural theory are outlined
متن کاملSelf-invariant 1-Factorizations of Complete Graphs and Finite Bol Loops of Exponent 2∗
Let Ω be a complete graph on an even number n = 2m of vertices V = V(Ω) = {ω1, . . . , ωn} and assume that K = {k1, . . . , kn−1} is a 1-factorization of Ω. Identify every k ∈ K with the fixed point free involution of Sym(V) which interchanges the ends of every edge in k and set GK = 〈K〉. Then K is said to be self-invariant if Kk = K for all k ∈ K. Heiss [Hei] studied self-invariant 1-factoriza...
متن کاملThorough QT/QTc Evaluation of the Cardiac Safety of Secnidazole at Therapeutic and Supratherapeutic Doses in Healthy Individuals
SYM-1219, a novel oral granule formulation of secnidazole, is under development as single-dose treatment for bacterial vaginosis. This 4-way, randomized, crossover study evaluated the effects of SYM-1219 on electrocardiographic (ECG) parameters in 52 healthy subjects. Subjects were administered single doses of SYM-1219, 2 g (proposed therapeutic dose), 6 g (supratherapeutic dose), placebo, and ...
متن کاملA class of simple proper Bol loops ∗ Gábor
For a loop Q, we call the maps La(x) = ax,Ra(x) = xa left and right translations, respectively. These are permutations of Q, generating the left and right multiplication groups LMlt(Q),RMlt(Q) of Q, respectively. The group closure Mlt(Q) of LMlt(Q) and RMlt(Q) is the full multiplication group of Q. Just like for groups, normal subloops are kernels of homomorphisms of loops. The loop Q is simple...
متن کاملSYMMETRY POINTS OF A CONVEX SET : Basic Properties and Computational Complexity
Given a convex body S ⊂ IRn and a point x ∈ S, let sym(x, S) denote the symmetry value of x in S: sym(x, S) := max{α ≥ 0 : x + α(x− y) ∈ S for every y ∈ S} , which essentially measures how symmetric S is about the point x, and define sym(S) := max x∈S sym(x, S) . We call x∗ a symmetry point of S if x∗ achieves the above supremum. These symmetry measures are all invariant under invertible affine...
متن کامل